Design and Sensitivity Analysis of a Formal Test Process Model
نویسندگان
چکیده
Software testing is a quality-assess process for computer applications. Different qualitative and quantitative factors influence the process of testing during the software life cycle phase. In this paper a formal Test Process Model is designed and the change of behavior of the testing process is evaluated on the basis of several qualitative and quantitative influencing factors. The parameters are taken together, modeling is done and the higher order differential equation is solved by Euler’s method. The change of the behavior of testing process is marked by changing individual parameters keeping the others constant.
منابع مشابه
Developing Reliable yet Flexible Software through If-Then Model Transformation Rules
Developing reliable yet flexible software is a hard problem. Although modeling methods enjoy a lot of advantages, the exclusive use of just one of them, in many cases, may not guarantee the development of reliable and flexible software. Formal modeling methods ensure reliability because they use a rigorous approach to software development. However, lack of knowledge and high cost practically fo...
متن کاملTools for the Governance of Urban Design: The Tehran Experience
This research seeks to reflect the managerial, academic and professional experience of the authors in the design and implementation process of urban design projects, aiming to use the application of the “design governance” model, in order to describe the documents and activities of the Department of Urban Planning and Architecture of Tehran Municipality in the last decade. This paper consists ...
متن کاملMulti-objective Efficient Design of np Control Chart Using Data Envelopment Analysis
Control charts are the most important tools of statistical process control used to discriminate between assignable and common causes of variation and to improve the quality of a process. To design a control chart, three parameters including sample size, sampling interval, and control limits should be determined. The objectives are hourly expected cost, in-control average run length, power of th...
متن کاملRobust inter and intra-cell layouts design model dealing with stochastic dynamic problems
In this paper, a novel quadratic assignment-based mathematical model is developed for concurrent design of robust inter and intra-cell layouts in dynamic stochastic environments of manufacturing systems. In the proposed model, in addition to considering time value of money, the product demands are presumed to be dependent normally distributed random variables with known expectation, variance, a...
متن کاملExamine the Relationship between the Process-Oriented Organizations by Strategy Formation as a Formal Process
This article examines the role of management in business processes in relation to the process-oriented organization and strategy formation as a formal process (strategic planning). A questionnaire designed to measure these variables after the validity and reliability among a sample of 183 managers, officials and experts in working systems, information technology and strategic planning in major ...
متن کاملThree-Phase Modeling of Dynamic Kill in Gas-Condensate Well Using Advection Upstream Splitting Method Hybrid Scheme
Understanding and modeling of three-phase transient flow in gas-condensate wells play a vital role in designing and optimizing dynamic kill procedure of each well that needs to capture the discontinuities in density, geometry, and velocity of phases but also the effect of temperature on such parameters. In this study, two-phase Advection-Upstream-Splitting-Method (AUSMV) hybrid scheme is extend...
متن کامل